Package edu.uky.ai.lp.logic

Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Interface Summary

Interface	Description
Expression	An expression is any logical formula with a truth value.
Formula	Represents the superclass of all logical formulas.

Class Summary

Class	Description
BooleanExpression	The superclass of all Boolean logical expressions.
Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
Constant	Represents a specific thing in the logical universe.
Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.
Fact	A fact is an individual atomic logical statement in function-free predicate logic.
KnowledgeBase	A knowledge base is a collection of facts and rules that describe a logical universe.
NAryBooleanExpression	The superclass of any Boolean expression with multiple arguments.
Negation	Represents an expression whose opposite is true.
Rule	A rule is a logical axiom used deduce new information.
Term	The superclass of all logical expression representing specific things in the universe.
Unifier	A unifier tracks which variable are equal to one another and which variable are equal to constants.
Variable	Represents a place-holder term which can be bound to any constant.